$\exists$$e$:rvc($l$,${\it tg}$,$v$).$P$($e$;$v$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\exists$$e$:E. (($\uparrow$isrcv($e$)) \& lnk($e$) = $l$ \& tag($e$) = ${\it tg}$ \& $P$($e$;val($e$)))